\begin{tabbing}
(\=(D 4) \+
\\[0ex]CollapseTHEN (D 3))$\cdot$
\-
\end{tabbing}